/*@int*/(world.players().size())